Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers: 4010 (Lecture Notes in Computer Science)
by Steve Dunne,Bill Stoddart
ISBN 13: 9783540347507
Format: Paperback (268 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
Save for later
Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings: 1945 (Lecture Notes in Computer Science)
by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
ISBN 13: 9783540411963
Format: Paperback (456 pages) Publisher: Springer Published: 13 Jun 2008